Early Prototyping of Reactive Systems Through the Generation of SDL Specifications from Semi-formal Development Documents
نویسندگان
چکیده
Concepts Concrete Concepts Example Motivation Conclusion and Perspectives Andreas Metzger – SAM 2002 – Aberystwyth, Wales – June, 2002 1 Motivation 1 Application of Prototyping Final System Idea Validation (Product Test) Validation (Prototype Test) Verification (e.g. Inspection) Verification (Prototype Test) Prototype Creation Requirements Specification Problem Description System Prototype Problem Analysis Requirements Analysis Andreas Metzger – SAM 2002 – Aberystwyth, Wales – June, 2002 1 Early Prototyping of Reactive Systems... 1 Abstract Concepts Concrete Concepts Example Requirements Engineering Development Products MotivationConcepts Concrete Concepts Example Requirements Engineering Development Products Motivation Conclusion and Perspectives Andreas Metzger – SAM 2002 – Aberystwyth, Wales – June, 2002 2 Requirements Engineering 2 Efficient Creation of Prototypes
منابع مشابه
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems
During the development of software systems the number of faults can significantly be reduced by prototype-based validation and verification. Therefore, if prototypes can be made available early in the software development process, the costly removal of faults in later stages of development can be reduced. In this paper, a prototyping approach for supporting the development of reactive systems i...
متن کاملImproving the Development and Validation of Viewpoint Specifications
This paper presents an overview of the application of ITU-SDL for the development of distributed systems according to the RM-ODP. The use of the advanced SITE tools for the simulation and prototype code generation of/from SDL specifications of computational as well as engineering objects is illustrated. The advantages of this approach are shown by applying it on the ODP trading function as an e...
متن کاملAn Evaluation of Code Generation Strategies Targeting Hardware for the Rapid Prototyping of SDL-Specifications
The specification of an embedded system at system level together with co–joint hardware/software synthesis is a goal of many rapid prototyping projects. SDL has been proposed as a formal and abstract specification language well suited for this purpose. In the automated generation of hardware however, SDL’s asynchronous communication model (directly implemented in the so called server model) can...
متن کاملA Framework for the Performance Evaluation of SDL/MSC-specified Systems
SDL and MSC are standardized specification techniques for the development of reactive real-time systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relati...
متن کاملPerformance message sequence chart: Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
During the development of communication systems, the languages MSC and SDL are used for the standardisation, development and implementation of protocols. Both languages are an essential part of today’s popular development methodologies with the UML language. In MSC specifications, the system is described by examples while in SDL specifications it is described completely by means of communicatin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002